pattern matching for switch java 17